Computer aided verification - 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
- Författare
- Pierre Wolper International Conference on Computer Aided Verification 1995) Liège :
- (Pierre Wolper (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1995 | Tyskland, Berlin, New York | x, 450 sidor. |